Solidification Behavior of Undercooled Liquid Aluminum Oxide

Solidification of aluminum oxide from undercooled melts was investigated in containerless experiments. Specimens were levitated in a gas jet, stabilized with an acoustic positioning device, and melted with cw CO₂ laser beams. Cooling curves were obtained by optical pyrometry when the laser intensity was reduced. The materials examined were high-purity Verneuil sapphire, 99.5% polycrystalline alumina, and oxide materials recovered from the effluent of an aluminum-fueled rocket motor. The degree of undercooling, the apparent temperature behavior during the thermal arrest on solidification, and the structure of the materials formed were different in argon and oxygen atmospheres. Undercooling of the sapphire and alumina materials was 360 ± 10 K in an oxygen atmosphere and approximately 450 K in argon. Melting and solidification of high-purity sapphire resulted in a dendritic and porous polycrystalline material in oxygen. Dense, larger crystals were obtained in argon. Products formed from 99.5% alumina were discolored and the cores were white, indicating impurity segregation effects. More reproducible behavior was observed for the sapphire and 99.5% alumina than for the tungstencontaminated rocket motor effluent materials.     

Allergy and depression: A neurochemical threshold model of the relation between the illnesses.

Empirical studies suggest a very high prevalence of atopic disorder in people with depression. Research indicates that individuals with allergy have cholinergic hyperresponsiveness and beta-adrenergic hyporesponsiveness in the autonomic nervous system. Evidence is reviewed that similar imbalances in CNS cholinergic–adrenergic activity play a causal role in depression behaviors. It is hypothesized that the allergic state or allergic reactions can accentuate cholinergic–adrenergic activity imbalances in the CNS of a small subgroup of people at risk for endogenous depression thereby producing depression symptomatology. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

A comparison of leaf-spring with aircushion trailer suspensions in the transport environment

Packaging engineers need to be able to accurately determine the forces present in the shipping environment in order to protect packaged goods. The purpose of this study was to determine the vertical vibration levels measured in three separate truck-trailer suspension systems; conventional leaf-spring, conventional air-ride and damaged air-ride. The main conclusion reached in this study is that the air-ride suspension when maintained gives lower power density (PD) levels on all road surfaces studied. A damaged air-ride suspension and leaf-spring suspension are very similar in response frequencies, although the damaged air-ride produces higher vibration levels at lower frequencies.     

β-Si3N4Whiskers Embedded in Oxynitride Glasses: Interfacial Microstructure

Interfacial microstructures in βP-Si₃N₄( w )-Si-Al-Y-O-N-glass systems were investigated by systematically varying the nitrogen content and the Al:Y ratio of the glass matrix. High-resolution and analytical transmission electron microscopy (HREM and AEM) studies revealed that the interfacial microstructure is a function of the glass composition. No interfacial phases were formed in glasses with low Al:Y ratios and in glasses with high Al:Y ratios and low nitrogen content, whereas epitaxial growth of an interfacial layer (100–200 μm thick) on the βP-Si₃N₄( w ) occurred in a glass matrix with high Al:Y ratio and high nitrogen content. The interfacial layer was identified to be a β'-SiAION phase. Interfaces containing the SiAION layer exhibited high debonding energy compared to Si₃N₄( w )–glass interfaces. HREM studies indicated that the lattice-mismatch strain in the SiAION layer was relieved by dislocation formation at the SiAION–Si₃N₄( w ) interface. The difference in interfacial debonding energy was, hence, attributed to the local atomic structure and bonding between the glass-β-Si₃N₄ and the glass–β'-SiAION phases. This observation was clear evidence of the strong influence of glass chemistry on the interfacial debonding behavior by altering the interfacial microstructure.     

Some results on generalized residual entropy

Shannon’s entropy plays an important role in the context of information theory. Since this entropy is not applicable to a system which has survived for some units of time, the concept of residual entropy has been developed in the literature. Here we generalize the residual entropy by choosing a convex function ? with ?(1) = 0. In this paper, some orderings and aging properties have been defined in terms of the generalized residual entropy function and their properties have been studied. Quite a few results available in the literature have been generalized and some distributions (viz. uniform, exponential, Pareto, power series, finite range) have been characterized through the generalized residual entropy.     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.